Temporal Dependency for Dynamic Verification of Temporal Constraints in Workflow Systems
نویسندگان
چکیده
The current workflow management systems do not take into consideration the mutual dependency between temporal constraints, which is affecting the effectiveness and efficiency of the temporal verification. In this paper, we investigate this dependency and its effects on the verification of temporal constraints. Furthermore, based on these analyses on the temporal dependency, we develop some new methods for more effective and efficient temporal verification. These analyses and new methods further reinforce the time management of the current workflow management systems.
منابع مشابه
Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems
Grid workflow systems aim to support large-scale complex e-science and e-business processes. Due to the complexity of these kinds of processes, to control the execution of them in terms of time in the grid workflow execution environment, multiple fixed-date temporal constraints often need to be set simultaneously. Hence the dependency problem between them must be considered and emphasised, whic...
متن کاملVerification of Temporal Constraints for Concurrent Workflows
Today’s workflow management systems have not sufficiently dealt with time information, which involves time modeling at build-time and time management at run-time. As a consequence, workflow management systems are short of the ability to support the checking of temporal constraints at run-time. Although several approaches have been devised to tackle this problem, they are limited to a single wor...
متن کاملDynamic checking of temporal constraints for concurrent workflows
At present, workflow management systems have not sufficiently dealt with the issues of time, involving time modelling at build-time and time management at run-time. They are lack of the ability to support the checking of temporal constraints at run-time. Although some approaches have been devised to tackle this problem, they are limited to a single workflow and use only static techniques to ver...
متن کاملSelecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems
In grid workflow systems, existing representative checkpoint selection strategies, which are used to select checkpoints for verifying fixed-time constraints at run-time execution stage, often select some unnecessary checkpoints and ignore some necessary ones. Consequently, overall temporal verification efficiency and effectiveness can be severely impacted. In this paper, we propose a new strate...
متن کاملActivity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems
In grid workflow systems, to verify temporal constraints efficiently at run-time execution stage, some checkpoints are often selected so that we only need to conduct temporal verification at such checkpoints rather than at all activity points. However, existing typical checkpoint selection strategies often ignore some necessary checkpoints and select some unnecessary ones. This would eventually...
متن کامل